University of Science

Results: 77099



#Item
11Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2011-06-22 09:34:32
12Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2018-07-07 12:35:35
13Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2018-10-23 14:59:27
14Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,

Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:24:27
15

Journeys in World Politics, October 28th-30th, 2004 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Oct. 28 6:30-8:30 p.m. Dinner

Add to Reading List

Source URL: www.saramitchell.org

Language: English - Date: 2009-07-21 12:23:20
    16The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

    The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2017-08-02 12:35:21
    17HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu

    HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu

    Add to Reading List

    Source URL: www.ieee-security.org

    Language: English - Date: 2017-05-12 23:38:22
    18Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma

    Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma

    Add to Reading List

    Source URL: en.ru.is

    Language: English - Date: 2018-06-27 06:21:03
    19Gender Bias in IR Graduate Education? New evidence from syllabi1 Jeff Colgan is the Richard Holbrooke Associate Professor of Political Science and International Affairs at Brown University. He can be reached at jeff_colg

    Gender Bias in IR Graduate Education? New evidence from syllabi1 Jeff Colgan is the Richard Holbrooke Associate Professor of Political Science and International Affairs at Brown University. He can be reached at jeff_colg

    Add to Reading List

    Source URL: www.saramitchell.org

    Language: English - Date: 2017-04-27 16:45:29
    20Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

    Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

    Add to Reading List

    Source URL: www.prismmodelchecker.org

    Language: English - Date: 2012-10-17 07:22:55